лемма об истинности

лемма об истинности
truth lemma мат.

Русско-английский научно-технический словарь Масловского. 2015.

Игры ⚽ Нужен реферат?

Look at other dictionaries:

  • ИНТУИЦИОНИЗМ — (от позднелат. intuitio, от лат. intueor пристально смотрю) направление в обосновании математики и логики, согласно которому конечным критерием приемлемости методов и результатов этих наук является наглядно содержательная интуиция. Вся математика …   Философская энциклопедия

  • ТЕОРЕМА — (от греч. theoreo – рассматриваю) научное положение. Философский энциклопедический словарь. 2010. ТЕОРЕМА (греч. ϑεώρημα, от ϑεωρέω – рассматриваю, исследу …   Философская энциклопедия

  • Ньютон, Исаак — У этого термина существуют и другие значения, см. Ньютон. Исаак Ньютон Isaac Newton …   Википедия

  • АКСИОМА — (греч. axioma, от axium признавать, почитать). Истина, не требующая доказательств, напр., целое больше своей части. Словарь иностранных слов, вошедших в состав русского языка. Чудинов А.Н., 1910. АКСИОМА греч. axioma, от axiun, признавать,… …   Словарь иностранных слов русского языка

  • ТЕОРЕМА — (греч. theorema, от theorein рассматривать). Предложение, долженствующее быть подтвержденным; истина, требующая доказательства, преимущественно в математике. Словарь иностранных слов, вошедших в состав русского языка. Чудинов А.Н., 1910. ТЕОРЕМА… …   Словарь иностранных слов русского языка

  • интуиционизм —         ИНТУИЦИОНИЗМ одно из трех главных направлений (наряду с логицизмом и формализмом), традиционно выделяемых в основаниях математики. Для общей характеризации направлений, выросших из И., часто пользуются термином «конструктивизм». Поэтому… …   Энциклопедия эпистемологии и философии науки

Share the article and excerpts

Direct link
Do a right-click on the link above
and select “Copy Link”